typeof<int//>